un. 時(shí)態(tài)邏輯；時(shí)間邏輯
[網(wǎng)絡(luò)] 時(shí)序邏輯；時(shí)刻邏輯；暫時(shí)邏輯